Weakly Aggregative Modal Logic: Characterization and Interpolation
نویسندگان
چکیده
In this paper, we study the model theoretical aspects of Weakly Aggregative Modal Logic (WAML), which is a collection of disguised polyadic modal logics with n-ary modalities whose arguments are all the same. We give a van-Benthem-Rosen characterization theorem of WAML based on an intuitive notion of bisimulation, and show that WAML has Craig Interpolation.
منابع مشابه
Aggregative combinatorics: An introduction
This paper is an exploratory introduction to issues surrounding the combinatorial expressivity and computational complexity of weakly aggregative modal logic (WAL) – the latter insofar as it relates to the former, but also more generally. We begin by showing how WAL allows us to define a natural hierarchy of (recognition) optimization problems not generally available in logics as strong as K. I...
متن کاملCounting the minds of split-brain patients
Using Fagin’s and Halpern’s local reasoning models and an epistemic variant of Jennings’s and Schotch’s semantics of weakly aggregative modal logic, we argue that the hypothesis that split-brain patients have two coherent minds is preferable to the hypothesis that they have one incoherent mind.
متن کاملWeak Aggregative Modal Logics with Multi-ary Modal Operators
In this paper we generalize the Apostoli-Brown strategy developed in 1] to show the completeness of a descending chain of weak aggregative modal logics with multi-ary modal operators. The logics presented here are generalization of the weak aggregative unary modal logics developed by Jennings and Schotch in the 80's.
متن کاملAggregative Deontic Detachment for Normative Reasoning
Aggregative deontic detachment is a new form of deontic detachment that keeps track of previously detached obligations. We argue that it handles iteration of successive detachments in a more principled manner than the traditional systems do. To study this new form of deontic detachment, we introduce a ‘minimal’ logic for aggregative deontic detachment, and we discuss various properties of the l...
متن کاملOn modal logics of group belief
We overview the existing philosophical accounts of group belief, including both aggregative (or reductionist) approaches reducing collective belief to individual beliefs and non-reductionist approaches ascribing beliefs to the group as a whole. We then provide a modal logic of group belief GL that follows a non-reductionist approach. We compare our group belief logic with the well-known logic o...
متن کامل